1. A practical introduction to denotational semantics
پدیدآورنده: LIoyd Allison
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
A45
1987
2. Advanced R
پدیدآورنده: Hadley Wickham.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
3. Advances in Database Technology - EDBT '94 :
پدیدآورنده: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994
4. Advances in computers.
پدیدآورنده: edited by Morris Rubinoff and Marshall C. Yovits.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Computers.,Electronic data processing.,REFERENCE-- Questions & Answers.
رده :
QA76
.
A38eb
vol
.
13
5. Algebraic Informatics
پدیدآورنده: \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
6. Algebraic approaches to program semantics
پدیدآورنده: / Ernest G. Manes, Michael A. Arbib
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Algebra
رده :
QA
76
.
7
.
M34
1986
7. Algebraic approaches to program semantics
پدیدآورنده: Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
8. Algebraic approaches to program semantics
پدیدآورنده: Ernest G. Manes, Michael A. Arbib
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
9. Algebraic informatics :
پدیدآورنده: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
10. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده: J. Uhl [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
J845
1982
11. An Attribute grammar for the semantic analysis of ADA
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
73
.
A35
.
A87
1982
12. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
پدیدآورنده: Gilles Barthe...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2395
13. Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A783
1991
14. Attribute grammars. applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده: H. Alblas, B. Melichar, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
545
15. Automata, languages and programming :
پدیدآورنده: edited by G. Ausiello and C. Böhm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
16. Automata, languages, and programming :
پدیدآورنده: edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
17. CONCUR'91 :
پدیدآورنده: J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
18. Cognitive modeling and verbal semantics :
پدیدآورنده: by Andrea C. Schalley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cognitive grammar,Programming languages (Electronic computers)-- Semantics,Semantics-- Mathematical models,UML (Computer science)
19. Communicating Process Architectures 2002 :
پدیدآورنده: edited by James Pascoe [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
رده :
QA76
.
73
.
O2
W67
2002eb
20. Compiling natural semantics
پدیدآورنده: Mikael Pettersson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1549
